901. Typed Lambda Calculi and Applications :
پدیدآورنده: edited by Mariangiola Dezani-Ciancaglini, Gordon Plotkin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Lambda calculus -- Congresses.,Logic design.
رده :
QA9
.
5
E358
1995
902. VDM'91 Formal Software Development Methods :
پدیدآورنده: edited by S. Prehn, W.J. Toetenel.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
903. VDM '90 VDM and Z -- Formal Methods in Software Development :
پدیدآورنده: edited by D. Bjørner, C.A.R. Hoare, H. Langmaack.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
904. VHDL : a logic synthesis approach
پدیدآورنده: Naylor, David
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: VHDL )Computer hardware description language(, Logic design - Data processing, Computer-aided design
رده :
TK
7885
.
7
.
N39
1997
905. VHDL: a logic synthesis approach
پدیدآورنده: Naylor, David
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، VHDL )Computer hardware description language(,، Logic design-- Data processing,، Computer-aided design
رده :
TK
7885
.
7
.
N39
1997
906. VHDL :a logic synthesis approach. ]CD[
پدیدآورنده: Naylor, David., David Naylor and Simon Jones
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، VHDL )Computer hardware description language(,Data processing ، Logic design,، Computer-aided design
رده :
TK7885
.
7
.
N39
1997
907. VHDL coding and logic synthesis with Synopsys
پدیدآورنده: / Weng Fook Lee
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Logic design.,Logic design--Computer programs,VHDL (Computer hardware description language)
رده :
TK
,
7885
.
7
,.
L44
.
2000
908. VHDL for logic synthesis
پدیدآورنده: Rushton, Andrew.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، VHDL )Computer hardware description language(,Data processing ، Logic design,، Computer-aided design
رده :
TK
7885
.
7
.
R87
1998
909. VHDL for logic synthesis /
پدیدآورنده: Andrew Rushton
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer-aided design,Logic design-- Data processing,VHDL (Computer hardware description language)
910. VHDL for logic synthesis
پدیدآورنده: Rushton, Andrew
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)
موضوع: ، VHDL )Computer hardware description language(,Data processing ، Logic design,، Computer-aided design,، COMPUTERS / Computer Engineering
رده :
TK
7885
.
7
.
R87
911. VHDL for programmable logic
پدیدآورنده: Kevin Skahill ; contributors, Jay Legenhausen ... ]et al.[
کتابخانه: کتابخانه موسسه ژئوفيزيك دانشگاه تهران (تهران)
موضوع: VHDL )Computer hardware description language(,Logic design,Programmable logic devices
رده :
TK
7885
.
7
.
S55
1996
912. VLSI-design of non-volatile memories /
پدیدآورنده: Giovanni Campardo, Rino Micheloni, David Novosel.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Integrated circuits-- Very large scale integration.,COMPUTERS-- Logic Design.,Ingénierie.,Integrated circuits-- Very large scale integration.,Integrated circuits-- Very large scale integration.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- Logic.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- VLSI & ULSI.
رده :
TK7874
.
75
.
C35
2005eb
913. VLSI physical design
پدیدآورنده: Andrew B. Kahng ... [et al.]&
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع: Engineering,Logic design,Computer-aided design,Electronics,Systems engineering
رده :
TK
،
7874
،.
V57
،
2011
914. VLSI physical design
پدیدآورنده: / Andrew B. Kahng ... [et al.]
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Engineering,Logic design,Computer-aided design,Electronics,Systems engineering
رده :
E-BOOK
915. VLSI technology /
پدیدآورنده: editor-in-chief, Wai-Kai Chen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Integrated circuits-- Very large scale integration.,COMPUTERS-- Logic Design.,Integrated circuits-- Very large scale integration.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- Logic.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- VLSI & ULSI.
رده :
TK7874
.
75
.
V585
2003
916. VeriIog HDL : digital design and modeling
پدیدآورنده: / Joseph Cavanagh
کتابخانه: کتابخانه و مرکز اطلاع رسانی دانشگاه بین المللی امام رضا علیه السلام (خراسان رضوی)
موضوع: Digital electronics,Logic circuits--Computer-aided design,Verilog (Computer hardware description language)
رده :
TK7868
.
D5C395
917. Verification:
پدیدآورنده: edited by Nachum Dershowitz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
رده :
QA76
.
76
.
V47
E358
2004
918. Verification of Sequential and Concurrent Programs
پدیدآورنده: by Krzysztof R. Apt, Ernst-Rüdiger Olderog.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.
رده :
QA76
.
76
.
V47
B957
1997
919. Verifying Concurrent Processes Using Temporal Logic
پدیدآورنده: by Brent T. Hailpern.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer Science,Computer science.,Logic design.
920. Verilog HDL :
پدیدآورنده: by Joseph Cavanagh.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Digital electronics.,Logic circuits -- Computer-aided design.,Verilog (Computer hardware description language)
رده :
TK7868
.
D5
B956
2007
